Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
371	Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2002-09-23 17:38:51 Algebraic structures Universal algebra Mathematical structures John V. Tucker Model theory Computable function Subalgebra Computability theory Structure Mathematics Algebra Abstract algebra
372	Specifying, programming, and verifying in Maude Some applications to Model-Driven Engineering and Graph Rewriting (material based on a course by Narciso Mart´ı-Oliet, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-10-24 10:43:00 Universal algebra Mathematical logic Model theory Functional languages Formal languages ALGOL 68 Structure Rewriting Q Programming language theory Mathematics Logic
373	Specifying, programming, and verifying in Maude Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Universidad Complutense de Madrid Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-09-19 11:08:13 Mathematical logic Universal algebra Model theory Functional languages Logic in computer science Unification Equational logic Signature Structure Theoretical computer science Mathematics Programming language theory
374	UNIFORM ALMOST EVERYWHERE DOMINATION PETER CHOLAK, NOAM GREENBERG, AND JOSEPH S. MILLER Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematics Probability theory Spectral theory Logic Holomorphic functional calculus Model theory Structure Universal algebra
375	A Term Logic for Physically Realizable Models of Information Steven Lindell Department of Computer Science Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:08 Mathematical logic Database theory Relational model Universal algebra First-order logic Relational database Structure Data model Relational algebra Mathematics Logic Model theory
376	81. Arbeitstagung Allgemeine Algebra 81st Workshop on General Algebra University of Salzburg, February 3 – 6, 2011 Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2011-02-28 11:54:36 Algebraic structures Fuzzy logic Lattice theory Universal algebra Mathematical logic Clone Monoidal t-norm logic Residuated lattice MV-algebra Abstract algebra Mathematics Algebra
377	AAA79 LIST OF PARTICIPANTS Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:38:34 Mathematics Olomouc Palacký University of Olomouc Clone Dresden University of Technology MV-algebra Mathematical logic Logic Universal algebra
378	h:/Daten/AAA81Programme_final.dvi Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2011-02-28 11:53:45 Algebraic structures Algebraic logic Mathematical logic Universal algebra Fuzzy logic Residuated lattice Clone Subalgebra Lattice Mathematics Abstract algebra Algebra
379	AAA 78 - Conference Schedule Friday June 12, Morning Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:37:55 Algebraic structures Lattice theory Fuzzy logic Universal algebra Mathematical logic Distributive lattice Clone Residuated lattice Boolean algebra Abstract algebra Mathematics Algebra
380	AAA76 – Preliminary Schedule of Lectures Friday, May 23rd, Morning The talks are scheduled for 20 (or 50) minutes in length, followed by a 5 minute discussion Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2008-06-05 03:52:49 Algebra Lattice theory Fuzzy logic Algebraic structures Distributive lattice Variety Lattice BL Monad Universal algebra Abstract algebra Mathematics

UPDATE